161. Tools and algorithms for the construction and analysis of systems :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Computer software-- Verification.,System analysis.,System design.

رده :
QA76
.
9
.
S88

162. Tools and algorithms for the construction and analysis of systems

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer software-- Verification, Congresses,System analysis, Congresses,System design, Congresses

رده :
QA76
.
9
.
S88
T33
2013

163. Type systems for distributed programs :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer software-- Verification,Electronic data processing-- Distributed processing,Programming languages (Electronic computers)

رده :
QA76
.
76
.
V47

164. Unfoldings: a partial-order approach to model checking

پدیدآورنده:

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)

موضوع: Testing ، Computer software,Verification ، Computer systems

رده :
QA
76
.
76
.
T48E87
2008

165. Validation and verification of knowledge based systems :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer software -- Validation -- Congresses.,Computer software -- Verification -- Congresses.,Expert systems (Computer science) -- Congresses.

رده :
QA76
.
76
.
V47
E358
2011

166. Verification

پدیدآورنده:

کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)

موضوع: Computer software -- Verification

رده :
QA
76
.
76
.
V47V48
2003

167. Verification, Model Checking, and Abstract Interpretation.

پدیدآورنده:

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Computer software -- Verification -- Congresses.,Software engineering -- Congresses.,Computer software -- Verification.,نر‌م‌افزار -- راستی‌آزمایی -- کنگره ها,نرم‌افزار -- مهندسی-- کنگره‌ها ,نر‌م‌افزار -- راستی‌آزمایی

رده :
.
V4
2016
E-Book
,

168. Verification, Model Checking, and Abstract Interpretation

پدیدآورنده:

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Computer software -- Verification -- Congresses.,Software engineering -- Congresses.,Logics and Meanings of Programs.,نر‌م‌افزار -- راستی‌آزمایی -- کنگره ها ,نرم‌افزار -- مهندسی-- کنگره‌ها

رده :
QA
76
.
76
.
V47
2015
E-Book
,

169. Verification and evaluation of computer and communication systems :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.

رده :
TK5105
.
5

170. Verification and validation for quality of UML 2.0 models

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع: Computer software- Verification,Computer software- Quality control,UML (Computer science)

رده :
QA76
.
76
.
V47
,
U53
2005

171. Verification and validation for quality of UML 2.0 models

پدیدآورنده:

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)

موضوع: Verification ، Computer software,Quality control ، Computer software,، UML )Computer science(

رده :
QA
76
.
76
.
V47
U53

172. Verification and validation for quality of UML 2.0 models

پدیدآورنده:

کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)

موضوع: Verification ، Computer software,Quality control ، Computer software,، UML )Computer science(

رده :
QA
76
.
76
.
V47U53
2005

173. Verification and validation for quality of UML 2.0 models [electronic resource]

پدیدآورنده:

کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)

موضوع: Computer software--Verification,Computer software--Quality control,UML (Computer science)

رده :
EB
,
QA76
.
76
.
V47U53
2005

174. Verification and validation of real - time software

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: ، Real-time data processing,Verification ، Computer software,Validation ، Computer software

رده :
QA
76
.
54
.
V47
1985

175. Verification and validation of rule-based expert systems]CD[

پدیدآورنده:

کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)

موضوع: ، Expert systems )Computer science(,Verification ، Computer software,Validation ، Computer software

رده :
CD
1748-83

176. Verification and validation of rule-based expert systems

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع: Expert systems (Computer science),Computer software- Verification,Computer software- Validation

رده :
QA76
.
76
.
E95
,
S66
1993

177. Verification methodology manual : techniques for verifying HDL designs

پدیدآورنده:

کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)

موضوع: ، Computer hardware description languages,، Computer software -- Verification -- Handbooks, manuals, etc

رده :
TK
7885
.
7
.
V44
2002

178. Verification, model checking, and abstract interpretation :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Computer software ; Verification ; Congresses. ;

179. Verification, model checking, and abstract interpretation :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Computer software ; Verification ; Congresses. ;

180. Verification of infinite-state systems with applications to security /

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer security, Congresses.,Computer software-- Verification, Congresses.,System theory-- Mathematical models, Congresses.,System theory-- Security measures, Congresses.,Computer security.,Computer software-- Verification.,COMPUTERS-- Internet-- Security.,COMPUTERS-- Networking-- Security.,COMPUTERS-- Security-- General.,System theory-- Mathematical models.

رده :
Q295
.
N38
2005eb